English Computing Dictionary
◊ TAGGED TYPES
tagged types
{Ada}'s type mechanism in which types can be
extended via {single inheritance}.
(2000-02-21)